Stichworte: called convenient implications